Novel Techniques for Real Time Computing Critical Clearing Time SIME-B and CCS-B
نویسندگان
چکیده
منابع مشابه
The Study of Cerumen Hepatitis B Infection in Chronic Hepatitis B Patients by Real-Time PCR
Introduction: The hepatitis B is a viral infection that causes a big problem globally. About 2 billion people worldwide are infected and there are now about 400 million HBV-DNA carriers around the world. HBV infection is the ninth cause of death worldwide and infects about 350 million new cases each year in the world. HBV-DNA can be spotted in different body secretions and fluids, including se...
متن کاملAn Expressive Real-Time CCS
This paper describes a new ‘real-time’ process algebra that exhibits the advantages of both the ‘constraint-oriented’ and ‘marker variable’ specification styles. Its definition extends CCS, firstly with a basic notion of absolute time added to actions, and then with relative timing expressions which may refer to time markers.
متن کاملCCS + Time = An Interleaving Model for Real Time Systems
This paper shows how to put time into Milner’s CCS to model real time systems. In particular, we will develop an expansion theorem for real time concurrency, which is an extension of the expansion theorem of CCS. The essential step made in this work is that a more general form of action prefix, @t:P is introduced, where t is a time variable. Intuitively, @t:P is an agent which may perform and b...
متن کاملA Simple Expressive Real Time CCS
We describe a new real time process algebra with simple semantics but consider able expressive power It exhibits the advantages of both the constraint oriented and marker variable speci cation styles The de nition extends Milner s CCS rstly with a simple notion of absolute time added to actions and then with relative timing expressions which may refer to time markers
متن کاملSimulation-free Estimation of Critical Clearing Time
Contingency screening for transient stability of large scale, strongly nonlinear, interconnected power systems is one of the most computationally challenging parts of Dynamic Security Assessment and requires huge resources to perform time-domain simulations-based assessment. To reduce computational cost of time-domain simulations, direct energy methods have been extensively developed. However, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Electrical Engineering and Technology
سال: 2013
ISSN: 1975-0102
DOI: 10.5370/jeet.2013.8.2.197